permanently feasible set

不变可行集合